Guanciale, Roberto: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Trustworthy isolation of DMA devices

Haglund, Jonas, Guanciale, Roberto

Journal:

Journal of Banking and Financial Technology

Year:

2020

File:

PDF, 3.18 MB

2020

2

Semantics of global view of choreographies

Tuosto, Emilio, Guanciale, Roberto

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 685 KB

english, 2017

3

Realisability of pomsets

Guanciale, Roberto, Tuosto, Emilio

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

Language:

english

File:

PDF, 853 KB

english, 2019

4

Global Coordination Policies for Services

Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 328 KB

english, 2010

5

Event based choreography

Vincenzo Ciancia, Gianluigi Ferrari, Roberto Guanciale, Daniele Strollo

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 850 KB

english, 2010

6

[ACM Press the 2013 ACM SIGSAC conference - Berlin, Germany (2013.11.04-2013.11.08)] Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 - Formal verification of information flow security for a simple arm-based separation kernel

Dam, Mads, Guanciale, Roberto, Khakpour, Narges, Nemati, Hamed, Schwarz, Oliver

Year:

2013

Language:

english

File:

PDF, 688 KB

english, 2013

7

[IEEE 2014 Twelfth Annual Conference on Privacy, Security and Trust (PST) - Toronto, ON, Canada (2014.7.23-2014.7.24)] 2014 Twelfth Annual International Conference on Privacy, Security and Trust - Private intersection of regular languages

Guanciale, Roberto, Gurov, Dilian, Laud, Peeter

Year:

2014

Language:

english

File:

PDF, 323 KB

english, 2014

8

[ACM Press the 2014 ACM SIGSAC Conference - Scottsdale, Arizona, USA (2014.11.03-2014.11.07)] Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security - CCS '14 - Automating Information Flow Analysis of Low Level Code

Balliu, Musard, Dam, Mads, Guanciale, Roberto

Year:

2014

Language:

english

File:

PDF, 973 KB

english, 2014

9

[ACM Press the 3rd international workshop - Berlin, Germany (2013.11.04-2013.11.04)] Proceedings of the 3rd international workshop on Trustworthy embedded devices - TrustED '13 - Machine code verification of a tiny ARM hypervisor

Dam, Mads, Guanciale, Roberto, Nemati, Hamed

Year:

2013

Language:

english

File:

PDF, 640 KB

english, 2013

10

[IEEE 2015 13th Annual Conference on Privacy, Security and Trust (PST) - Izmir, Turkey (2015.7.21-2015.7.23)] 2015 13th Annual Conference on Privacy, Security and Trust (PST) - Privacy preserving business process matching

Gurov, Dilian, Laud, Peeter, Guanciale, Roberto

Year:

2015

Language:

english

File:

PDF, 252 KB

english, 2015

11

[IEEE 2016 IEEE Symposium on Security and Privacy (SP) - San Jose, CA, USA (2016.5.22-2016.5.26)] 2016 IEEE Symposium on Security and Privacy (SP) - Cache Storage Channels: Alias-Driven Attacks and Verified Countermeasures

Guanciale, Roberto, Nemati, Hamed, Baumann, Christoph, Dam, Mads

Year:

2016

Language:

english

File:

PDF, 364 KB

english, 2016

12

Provably secure memory isolation for Linux on ARM

Guanciale, Roberto, Nemati, Hamed, Dam, Mads, Baumann, Christoph

Journal:

Journal of Computer Security

Year:

2016

Language:

english

File:

PDF, 700 KB

english, 2016

13

TrABin: Trustworthy analyses of binaries

Lindner, Andreas, Guanciale, Roberto, Metere, Roberto

Journal:

Science of Computer Programming

Year:

2019

Language:

english

File:

PDF, 586 KB

english, 2019